Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
501	Computer Algebra implemented in Isabelle’s Function Package under Lucas-Interpretation — a Case Study Walther Neuper Institute for Software Technology University of Technology Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-05 18:35:19 Logic in computer science Automated theorem proving Programming idioms Mathematical logic Recursion Automated reasoning Isabelle HOL Termination analysis Computer programming Theoretical computer science Applied mathematics
502	LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic⋆ Christoph Benzm¨ uller1 , Lawrence C. Paulson2 , Frank Theiss1 , and Arnaud Fietzke3 1 Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:27 Automated theorem proving Vampire Resolution First-order logic Term indexing Unification FO Proof assistant Isabelle Logic Mathematics Mathematical logic
503	Progress Report on Leo-II, an Automatic Theorem Prover for Higher-Order Logic? Christoph Benzm¨ uller1,2 , Larry Paulson1 , Frank Theiss2 , and Arnaud Fietzke2 1 Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:07 Mathematics Formal methods Resolution Lambda calculus First-order logic Logic programming Unification Vampire Simply typed lambda calculus Theoretical computer science Automated theorem proving Mathematical logic
504	The LEO-II Project Christoph Benzm¨uller⋆† , Larry Paulson⋆ Frank Theiss† , Arnaud Fietzke† † Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:24 Mathematical logic Isabelle Proof assistant Vampire SPASS HOL Higher-order logic First-order logic Resolution Theoretical computer science Logic Automated theorem proving
505	The Undecidability of k-Provability Samuel R. Buss∗ Department of Mathematics University of California, San Diego April 3, 1989 Add to Reading List Source URL: www.math.ucsd.edu Language: English - Date: 2002-07-11 12:08:00 Automated theorem proving Mathematics Sequent calculus Unification Sequent First-order logic Curry–Howard correspondence Natural deduction Mathematical logic Proof theory Logic
506	D:/My Documents/proceedings/16_paper_36-page/rta/rta10.dvi Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-07-06 06:07:52 Automated theorem proving Logic programming Unification
507	Proof complexity of propositional default logic Add to Reading List Source URL: eprints.whiterose.ac.uk Language: English - Date: 2014-06-05 13:45:53 Proof theory Logic in computer science Automated theorem proving Propositional calculus Logical syntax Frege system Sequent Proof calculus Proof complexity Logic Mathematical logic Theoretical computer science
508	TUGboat, Volume[removed]), No[removed]ProofCheck: Writing and checking complete proofs in LATEX Add to Reading List Source URL: www.tug.org Language: English - Date: 2009-09-26 12:32:25 Logical syntax Automated theorem proving Proof theory Model theory Theorem Mathematical proof TeX First-order logic Unification Logic Mathematics Mathematical logic
509	Information Processing ELSEVIER Letters Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 10:39:22 Propositional calculus Rules of inference Automated theorem proving Boolean algebra Equational logic First-order logic Mathematical proof Modal logic Modus ponens Logic Mathematical logic Mathematics
510	Name _____________________________________________________________________________________________________ Variables and Tables R 1-7 Add to Reading List Source URL: pleasanton.k12.ca.us Language: English - Date: 2004-01-27 14:52:06 Multiplication Automated theorem proving Constraint programming Trachtenberg system Mathematics Elementary arithmetic Mathematical notation

UPDATE